Generating priority rewrite systems for OSOS process languages
نویسندگان
چکیده
منابع مشابه
Generating priority rewrite systems for OSOS process languages
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisimulation and head normalising. The algorithm is inspired by a procedure which was developed by Aceto, Bloom and Vaandrager and presented in Turning SOS rules into equations [2]. For a subclass of OSOS process languages ...
متن کاملProcess Rewrite Systems
Many formal models for in nite-state concurrent systems are equivalent to special classes of rewrite systems. We classify these models by their expressiveness and de ne a hierarchy of classes of rewrite systems. We show that this hierarchy is strict with respect to bisimulation equivalence. The most general and most expressive class of systems in this hierarchy is called Process Rewrite Systems...
متن کاملModal Process Rewrite Systems
We consider modal transition systems with infinite state space generated by finite sets of rules. In particular, we extend process rewrite systems to the modal setting and investigate decidability of the modal refinement relation between systems from various subclasses. Since already simulation is undecidable for most of the cases, we focus on the case where either the refined or the refining p...
متن کاملFPOL Systems Generating Counting Languages
— Counting languages are the languages of the form {axa\.. .a n t\ t^2, n^ 1} where au ..., atare letters no two consécutive ofwhich are identical. They possess a "clean structure" in the sensé that if an arbitrary wordfrom such a language is eut in t subwords ofequal length then no two consécutive subwords contain an occurrence of the same letter, It is shown that whenever an FPOL system G is ...
متن کاملExtended Process Rewrite Systems: Expressiveness and Reachability
We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less expressive up to bisimulation equivalence than the class of PA processes extended with a finite state control unit. Further we show our main result that the reachability problem for PRS extended with a so called weak finite state ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2009
ISSN: 0890-5401
DOI: 10.1016/j.ic.2008.10.002